#!/bin/bash

filename=$1

for size in 100 200 300 500 700 1000 2000 3000 5000 ; do ./$filename -n $size ; done > /tmp/$filename

cut -f 3,7 -d " " /tmp/$filename  | sed "s/,/\t/g" > /tmp/$filename.1

mv /tmp/$filename.1 $filename.log

